HySon: Precise Simulation of Hybrid Systems with Imprecise Inputs

Hybrid systems are a widely used model to represent and reason about control-command systems. Most of the work in this domain is devoted to compute reachable sets of hybrid automata or equivalent models. However, in an industrial context, control-command systems are often implemented in Simulink and their validity is checked using numerical simulation. In this article, we present a tool named HySon that performs set-based simulation of hybrid systems with uncertain parameters, expressed in Simulink. Our tool handles advanced features such as non-linear operations, zero-crossing events or discrete sampling. It is based on well-known, efficient numerical algorithms that were adapted to handle set-based domains. We demonstrate the performance of our method on various examples.